Formalising Debates About Law-Making Proposals as Practical Reasoning
نویسنده
چکیده
In this paper the ASPIC framework for argumentation-based inference is used for formally reconstructing two legal debates about law-making proposals: an opinion of a legal scholar on a Dutch legislative proposal and a US commonlaw judicial decision on whether an existing common law rule should be followed or distinguished. Both debates are formalised as practical reasoning, with versions of the argument schemes from good and bad consequences. These case studies aim to contribute to an understanding of the logical structure of debates about lawmaking proposals. Another aim of the case studies is to provide new benchmark examples for comparing alternative formal frameworks for modelling argumentation. In particular, this paper aims to illustrate the usefulness of two features of ASPIC: its distinction between deductive and defeasible inference rules and its ability to express arbitrary preference orderings on arguments.
منابع مشابه
Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis
Ontologies have been increasingly used as a core representation formalism in medical information systems. Diagnosis is one of the highly relevant reasoning problems in this domain. In recent years this problem has captured attention also in the description logics community and various proposals on formalising abductive reasoning problems and their computational support appeared. In this paper, ...
متن کاملA Head-to-Head Comparison of de Bruijn Indices and Names
Often debates about pros and cons of various techniques for formalising lambda-calculi rely on subjective arguments, such as de Bruijn indices are hard to read for humans or nominal approaches come close to the style of reasoning employed in informal proofs. In this paper we will compare four formalisations based on de Bruijn indices and on names from the nominal logic work, thus providing some...
متن کاملFormalising Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
In this paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through to joint decision. In a multi-agent environment, where self-motivated autonomous agents try to pursue their own goals, a joint decision cannot be taken for granted. In order to decide effectively, agents need th...
متن کاملWhat should we do? : computational representation of persuasive argument in practical reasoning
What Should We Do?” by Katie Atkinson The design and development of autonomous software agents requires a multitude of elements to be considered and accounted for. In order for a software agent to be considered ‘intelligent’ it must be able to perform effective reasoning about its beliefs and the environment in which it is situated, and also act in this environment. It must therefore reason bot...
متن کامل